翻訳と辞書
Words near each other
・ Interaction (disambiguation)
・ Interaction (statistics)
・ Interaction and Robotics Research Center
・ Interaction between monetary and fiscal policies
・ InterAction Council of Former Heads of State and Government
・ Interaction design
・ Interaction Design Foundation
・ Interaction Design Institute Ivrea
・ Interaction design pattern
・ Interaction energy
・ Interaction Flow Modeling Language
・ Interaction frequency
・ Interaction hypothesis
・ Interaction information
・ Interaction model
Interaction nets
・ Interaction network
・ Interaction overview diagram
・ Interaction picture
・ Interaction point
・ Interaction protocol
・ InterAction School of Performing Arts
・ Interaction Soil-Biosphere-Atmosphere
・ Interaction Styles
・ Interaction technique
・ Interaction theory
・ Interaction value analysis
・ Interaction-free measurement
・ Interactional expertise
・ Interactional justice


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Interaction nets : ウィキペディア英語版
Interaction nets

Interaction nets are a low level graphical computation paradigm first proposed by Yves Lafont and based on Jean-Yves Girard's proof nets for linear logic. An interaction net system comprises: a set of agents, each with one principal port and zero or more auxiliary ports; a set of rules between agents (there is at most one rule for every pair of agents); and a net on which the rules are to be applied. Compared to traditional term syntax, interaction nets enforce linearity -- each resource is used exactly once --, from which we can derive strong confluence. Thus, they provide a natural language for massive parallelism.
They are also at the heart of the efficient and optimal, in Levy's sense, evaluators for lambda calculus available today.
== External links ==

;Assisted drawing in LaTeX
* (【引用サイトリンク】first=Marc ) See also examples on ().
;Software
* (【引用サイトリンク】first=Miguel ) See also on (its package on HackageDB ).
* (【引用サイトリンク】first=Marc )


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Interaction nets」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.